منابع مشابه
Informatics 10 Years Back , 10 Years Ahead
Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...
متن کاملthe innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran
آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...
15 صفحه اولMission Planning for Formation-Flying Satellite Cluster
The formation-flying satellite cluster is a new paradigm for space-based surveillance and remote sensing. In this paradigm, several small satellites fly in close formation and coordinate their activities so that through sparse-array interferometric and synthetic aperture techniques the cluster can effectively operate as though it were a much larger monolithic satellite. Management of such clust...
متن کامل10 years of illusions.
A decade ago, S. Aglioti, J. F. X. DeSouza, and M. A. Goodale (1995) published an experiment that has had a big influence on the way that visual information is thought to control human behavior. Their findings have often been simplified as suggesting that action is immune to perceptual illusions. The current authors critically analyze the 4 steps involved in this simplification and argue that r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 2010
ISSN: 1366-8781
DOI: 10.1111/j.1468-4004.2010.51533.x